Eclipse Support for Design and Requirements Engineering Based on ModelicaML
نویسندگان
چکیده
In order to support the development of complex products, modeling tools and processes need to support codesign of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems and UML is the dominant graphical modeling notation for software. The ModelicaML UML profile integrates Modelica and UML to support engineering of whole products. In this paper we present the Eclipse ModelicaML implementation and integration with the MDT Eclipse plugin, with emphasis on requirements support.
منابع مشابه
ModelicaML value bindings for automated model composition
vVDR is a method for model-based system design verification against requirements. This paper discusses enhancements to the vVDR method and its implementation in ModelicaML to further improve the support of system verification activities by automation. In the vVDR method there are different kinds of models that are created independently and that will become dependent and need to be related to ea...
متن کاملThe Impreciseness of UML and Implications for ModelicaML
The Modelica community has long pursued the vision of Integrated Whole Product Modelling. This implies the ability to integrate best practice modelling languages and techniques. With ModelicaML a first step towards an open integration within the sphere of the Eclipse Modelling Framework exists. This paper argues for a development direction of ModelicaML that creates a small core with well-defin...
متن کاملVirtual Verification of System Designs against System Requirements
System development and integration with a sufficient maturity at entry into service is a competitive challenge in the aerospace sector. With the ever-increasing complexity of products, this can only be achieved using efficient model-based techniques for system design as well as for system testing. However, natural language requirements engineering is an established technique that cannot be comp...
متن کاملTowards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations
This paper is a further step towards application of the Model-Based Systems Engineering (MBSE) paradigm, using standardized, graphical, and executable system modeling languages. It presents further development of Modelica graphical Modeling Language (ModelicaML), a UML Profile for Modelica, which enables an integrated modeling and simulation of system requirements and design (for systems includ...
متن کاملA Systems Engineering Tool Chain Based on Eclipse and Rodin
Formal methods are experiencing a renaissance, especially in the development of safety-critical systems. An indicator for this is the fact that more and more standards either recommend or prescribe the use of formal methods. Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that suppor...
متن کامل